Comparing Cartesian closed categories of (core) compactly generated spaces
نویسندگان
چکیده
منابع مشابه
Differential Geometry in Cartesian Closed Categories of Smooth Spaces
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
متن کاملDependent Cartesian Closed Categories
We present a generalization of cartesian closed categories (CCCs) for dependent types, called dependent cartesian closed categories (DCCCs), which also provides a reformulation of categories with families (CwFs), an abstract semantics for Martin-Löf type theory (MLTT) which is very close to the syntax. Thus, DCCCs accomplish mathematical elegance as well as a direct interpretation of the syntax...
متن کاملCompactly Generated Spaces
This document is a summary of basic facts about the “standard” category of compactly generated spaces introduced by McCord [McC69] (often referred to in the literature as “compactly generated weak Hausdorff spaces”, or “weak Hausdorff k-spaces”). The main references I’ve used for this material are Gaunce Lewis’s thesis [Lew, App. A], and Neil Strickland’s note [Str09] (especially for material a...
متن کاملCartesian closed Dialectica categories
When Gödel developed his functional interpretation, also known as the Dialectica interpretation, his aim was to prove (relative) consistency of first order arithmetic by reducing it to a quantifier-free theory with finite types. Like other functional interpretations (e.g. Kleene’s realizability interpretation and Kreisel’s modified realizability) Gödel’s Dialectica interpretation gives rise to ...
متن کاملCartesian closed stable categories q
The aim of this paper is to establish some Cartesian closed categories which are between the two Cartesian closed categories: SLP (the category of L-domains and stable functions) and DI (the full subcategory of SLP whose objects are all dI-domains). First we show that the exponentials of every full subcategory of SLP are exactly the spaces of stable functions. Then we prove that the full subcat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2004
ISSN: 0166-8641
DOI: 10.1016/j.topol.2004.02.011